val line : unit -> int

val inc_line : unit -> unit

val merge_sequences : Ast.stat -> Ast.stat -> Ast.stat

val duplicates : ('a * 'b) list -> bool

val eqsort :
  Ast.mptype -> 
  Ast.mptype ->
  Ast.mptype

val merge_sort :
  Ast.expr ->
  Ast.mptype ->
  Ast.expr

val checked_binexpr : 
  Ast.binop -> 
  Ast.expr * Ast.mptype ->
  Ast.expr * Ast.mptype -> 
  Ast.expr * Ast.mptype

val checked_unexpr : 
  Ast.uop -> 
  Ast.expr * Ast.mptype ->
  Ast.expr * Ast.mptype
	
val checked_field :
  Ast.expr * Ast.mptype ->
  string ->
  Ast.expr * Ast.mptype
